Java Test Driver Generation from Object-Oriented Interaction Traces
نویسندگان
چکیده
منابع مشابه
Java Test Driver Generation from Object-Oriented Interaction Traces
In the context of test-driven development for object-oriented programs, mock objects are increasingly used for unit testing. Several Java mock object frameworks exist, which all have in common that mock objects, realizing the test environment, are directly specified at the Java program level. Though using directly the programming language may facilitate acceptance by software developers at firs...
متن کاملTest Driver Generation from Object-Oriented Interaction Traces
Whereas object-orientation is established as a major paradigm for software development, testing methods specifically targeted towards object-oriented, classbased languages are less common. We propose a formal testing framework for object-oriented programs, based on the observable trace semantics of class components, i.e., for black-box testing. In particular, we propose a test specification lan...
متن کاملObject-oriented Device Driver Programming
Operating systems should be made exible from their low-level system structures, to enable them to adapt to dynamic changes of the outer world. This paper proposes a methodology for making device drivers completely re-con gurable, by introducing objectoriented re ective programming into the low-level system structures of operating systems. We introduce concurrent objects and continuations as a b...
متن کاملSequence Traces for Object-Oriented Executions
Researchers have developed a large variety of semantic models of object-oriented computations. These include object calculi as well as denotational, small-step operational, big-step operational, and reduction semantics. Some focus on pure object-oriented computation in small calculi; many others mingle the object-oriented and the procedural aspects of programming languages. In this paper, we pr...
متن کاملClass Level Test Case Generation in Object Oriented Software Testing
Object-oriented programming consists of several different levels of abstraction, namely, the algorithmic level, class level, cluster level, and system level. In this article, we discuss a testing technique to generate test cases at class level for object-oriented programs. The formal object oriented class specification is used to develop a test model. This test model is based on finite state ma...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2009
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2009.07.004